8. Category theory and computer science :
پدیدآورنده : D.H. Pitt [and others] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
رده :
QA75
.
5
.
S86
1991
9. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
10. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
11. Computer science logic :
پدیدآورنده : Hans Kleine Büning (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA75
.
5
H367
1996
12. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
13. Frontiers of combining systems :
پدیدآورنده : Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2013
14. Frontiers of combining systems :
پدیدآورنده : Cesare Tinelli, Viorica Sofronie-Stokkermans (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2011
15. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
16. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer programs-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
6
.
L5855
1985
17. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
پدیدآورنده : edited by Rohit Parikh
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
193
18. Logics of programs : Brooklyn, June 17-19, 1985 : proceedings
پدیدآورنده : edited by Rohit Parikh
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Computer programs,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
193
19. Logics of programs : workshopm Carnegie Mellon University pittshurgh, PA, June 6-8, 1983
پدیدآورنده : / Edited by Edmund Clarke, Dexter Kozen
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Computer programs - Congresses,Logic, symbolic and mathematical - Congresses
رده :
QA76
.
6
.
L5855
1985
20. Mathematical foundations of computer science 1993 :
پدیدآورنده : Andrzej M. Borzyszkowski, Stefan Sokołowski, eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.,Informatique -- Mathématiques -- Congrès
رده :
QA76
.
9
.
M35
A537
1993
